#define right_ptrmsk_width 16
#define right_ptrmsk_height 16
static char right_ptrmsk_bits[] = {
  '\x00','\x30','\x00','\x38','\x00','\x3c','\x00','\x3e','\x00','\x3f','\x80','\x3f',
  '\xc0','\x3f','\xe0','\x3f','\xf0','\x3f','\xf0','\x3f','\x80','\x3f','\xc0','\x3b',
  '\xc0','\x33','\xe0','\x01','\xe0','\x01','\xc0','\x00'};
